<?php
 
 class __kernel_remote extends __kernel_remote_api {

  	
 	
 }
?>